81. Automated deduction in geometr
Author: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
Classification :
QA448
.
D38
,
I58
2011
82. Automated technology for verification and analysis :
Author: Shuvendu K. Lahiri, Chao Wang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
A96
84. BL,BL
Author: / Marshall G.S. Hodgson. ,20090530 0
Library: Library of Islamic Parliament (Tehran)
Subject:
85. Basic Mathematics for Economics, Business and Finance
Author: / Ummer, EK
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
86. Bayesian networks
Author: Marco Scutari, Jean-Baptiste Denis.,Scutari, Marco,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Bayesian statistical decision theory.,R (Computer program language)
Classification :
QA279
.
5
.
S38
2021
87. Bayesian optimization and data science
Author: Francesco Archetti, Antonio Candelieri
Library: Library of College of Science University of Tehran (Tehran)
Subject: Bayesian statistical decision theory,Data mining,Machine learning,a03,a05,a05
Classification :
QA279
.
5
88. Bidirectional transformations :
Author: Jeremy Gibbons, Perdita Stevens (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
Classification :
QA601
89. Bioinformatics and phylogenetics :
Author: Tandy Warnow, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Bioinformatics.,Computational biology.,Phylogeny.,Bioinformatics.,Computational biology.,Phylogeny.
Classification :
QH324
.
2
90. Boolean functions
Author: / Yves Crama, Peter L. Hammer
Library: Central Library of University of Social Welfare and Rehabilitation Sciences (Tehran)
Subject: Algebraic functions,Algebra, Boolean
Classification :
QA341
.
C73
2011
91. Boolean functions
Author: / Yves Crama, Peter L. Hammer
Library: Razi Psychiatric Center Library (Tehran)
Subject: Algebraic functions,Algebra, Boolean
Classification :
QA341
.
C73
2011
92. Boolean functions: theory, algorithms, and applications
Author: Crama, Yves
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Algebraic functions,، Algebra, Boolean
Classification :
QA
341
.
C73
93. Building Innovation Pipelines through Computer-Aided Innovation
Author: edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.
94. CAD/CAM in Practice :
Author: by A.J. Medland, Piers Burnett.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Physical Sciences & Mathematics.,Science (General),Sciences - General.
Classification :
TS155
.
6
B935
1986
95. CAST Methods in Modelling :
Author: edited by Franz Pichler, Heinz Schwärtzel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer-aided design.,Engineering mathematics.
Classification :
TA168
.
E358
1992
96. COMPSTAT 2004 - Proceedings in Computational Statistics
Author: edited by Jaromir Antoch.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information storage and retrieval systems.,Mathematical statistics.,Statistics.
97. Certified programs and proofs :
Author: Jean-Pierre Jouannaud, Zhong Shao (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
C37
2011eb
98. Coloured Petri Nets :
Author: by Kurt Jensen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer simulation.,Software engineering.
Classification :
QA267
.
B958
1992
99. Communication-Based Systems
Author: edited by Günter Hommel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Computer science.,Mathematics.,Software engineering.,Systems theory.
100. Computational Electromagnetic
Author: / by Thomas Rylander, Par Ingelstr?╢m, Anders Bondeson
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science,Numerical analysis,Computer engineering,Electronic books
Classification :
E-BOOK
